1. Algebraic foundations in computer science :
پدیدآورنده : edited by Werner Kuich, George Rahonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
2. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
3. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
4. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
5. Formal methods, foundations and applications :
پدیدآورنده : Adenilso Simao, Carroll Morgan (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
B73
2011
6. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
7. Formal modeling and analysis of timed systems :
پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
8. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
9. Fundamental Approaches to Software Engineering
پدیدآورنده : \ Alexander Egyed, Ina Schaefer (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرم‌افزار -- مهندسی -- کنگره‌ها ,مهندسی ن‍رم اف‍زار ,زبانهای ب‍رن‍ام‍ه ن‍وی‍س‍ی
رده :
QA76
.
758
.
F44
2015
E-Book
,
10. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
11. Implementation and application of functional languages :
پدیدآورنده : Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
12. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
13. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
14. Perspectives of Systems Informatics
پدیدآورنده : edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
15. Programming languages and systems :
پدیدآورنده : Hongseok Yang (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
16. Runtime Verification
پدیدآورنده : edited by Sarfraz Khurshid, Koushik Sen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
17. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
18. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
19. Software engineering, business continuity, and education :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business-- Data processing, Congresses.,Data recovery (Computer science), Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
A84
2011
20. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
